Skip to content

V0.87.12#44

Merged
dwash96 merged 35 commits intomainfrom
v0.87.12
Oct 18, 2025
Merged

V0.87.12#44
dwash96 merged 35 commits intomainfrom
v0.87.12

Conversation

@dwash96
Copy link
Copy Markdown
Collaborator

@dwash96 dwash96 commented Oct 18, 2025

Updates per aider main and addresses:
#43

chr15m and others added 30 commits February 27, 2025 16:10
the same instruction included in {final_reminders}
@dwash96 dwash96 merged commit 102a121 into main Oct 18, 2025
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants